#include "systicket.h"
ticket_ms_t m_get_ticket_ms(void) { return clock(); }
